Designing communicating transaction processes by supervisory control theory

Designing Dependable Logic Controllers Using the Supervisory Control Theory

Designing dependable logic controllers using the supervisory control theory

In this paper we deal with the problem of designing a controller for a discrete event system. We argue that the classical approach of supervisory control theory (SCT) can be used as an essential step of such a procedure. However, some of the features that make supervisory control an attractive paradigm to solve theoretical problems are often a major source of difficulty in implementing a contro...

Communicating Processes with Data for Supervisory Coordination

We employ supervisory controllers to safely coordinate high-level discrete(-event) behavior of distributed components of complex systems. Supervisory controllers observe discrete-event system behavior, make a decision on allowed activities, and communicate the control signals to the involved parties. Models of the supervisory controllers can be automatically synthesized based on formal models o...

Design Framework for Intelligent Supervision of Industrial Processes

Timely faults detection in an industrial process is a key aspect for designing a framework for intelligent supervisory control. A way to perform supervisory control is by providing intelligence to the supervision mechanism in continuous processes exposed to faults in order to cope with the identification of a diversity of faults, classify them and to be able to anticipate the consequences deriv...

Supervisory control of discrete event systems for bisimulation or simulation equivalence

The supervisory control of discrete event systems provides a framework for control of eventdriven systems. Applications of supervisory control theory include protocol design for communication processes, control logic synthesis in manufacturing systems, and collision avoidance in human-computer interaction systems. When designing a system at a certain level of abstraction, lower level details of...